Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
241	527 Documenta Math. Semigroup Properties for the Second Fundamental Form Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2010-08-26 14:51:45 Algebra Abstract algebra Mathematics Operator theory Semigroup theory Semigroup Harmonic analysis Beltrami equation Singular integral operators of convolution type
242	Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Software engineering Theoretical computer science Mathematical logic Formal methods Computability theory Lambda calculus Subroutines Satisfiability modulo theories XC HindleyMilner type system First-order logic Recursion
243	Embarrassingly Simple Generation of Free Theorems Stefan Mehner and Janis Voigtl¨ander March 26th, 2014 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Type theory Parametricity Polymorphism Ordinal number Constructible universe Functional programming Proof theory CurryHoward correspondence Net
244	Binding-Time Analysis and the Taming of C Pointers ∗ Lars Ole Andersen DIKU, University of Copenhagen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Data types Procedural programming languages Type theory C Struct Type safety Pointer C++ classes Recursion ALGOL 68 Type system This
245	Technische Universität Dresden Fakultät Informatik DIPLOMARBEIT Free Theorems for Sublanguages of Haskell Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2008-04-14 08:10:31 Type theory Parametricity Type class Haskell Polymorphism Map Lambda calculus Combinatory logic Kind Parametric polymorphism ML Haskell features
246	A BOSE TYPE FORMULA FOR THE INTERNAL MEDIAL AXIS OF AN EMBEDDED MANIFOLD. KEVIN HOUSTON SCHOOL OF MATHEMATICS UNIVERSITY OF LEEDS LEEDS, LS2 9JT, U.K. Add to Reading List Source URL: www.kevinhouston.net Language: English - Date: 2010-09-20 07:29:58 Algebraic topology Topological graph theory Euler characteristic Genus Manifold Symbol
247	Moduli Spaces Two Riemann surfaces of the same topological type can, of course, be conformally inequivalent; but how many conformal structures are there, and how can one deform them ? Take for example an annulus A(r, R) Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2011-02-14 06:36:11 Moduli theory Riemann surfaces Differential geometry Geometric topology Quantum field theory Moduli space Mapping class group Conformal geometry Moduli Teichmller space Moduli stack of formal group laws
248	Appendix E Woodland Owners in the Chesapeake Bay Watershed, 2003 Preliminary Results from the National Woodland Owners Survey Table 1 Forestland area by ownership type (standard errors in acres) Add to Reading List Source URL: na.fs.fed.us Language: English - Date: 2015-06-08 10:21:55 Arithmetic Numerical analysis Computer arithmetic Rounding Theory of computation Significant figures Forest Standard error
249	System FC with Explicit Kind Equality (Extended Version) Stephanie Weirich Justin Hsu Richard A. Eisenberg Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-08-06 17:30:04 Type theory Data types Functional programming Dependently typed programming Generalized algebraic data type Type class Valuation
250	Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2016-07-11 03:14:21 Model theory Mathematical logic Formal languages Predicate logic Metalogic First-order logic Principia Mathematica Interpretation Well-formed formula Lambda calculus Constructible universe Structure

UPDATE